Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
551	Decidability of Bisimulation Equivalence for Pushdown Processes Colin Stirling Division of Informatics University of Edinburgh Edinburgh EH9 3JZ, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:59:44 Applied mathematics Computer science Deterministic pushdown automaton Bisimulation Computability Context-free language Finite-state machine Automata theory Models of computation Theoretical computer science
552	An introduction to deciding higher-order matching Colin Stirling [removed] LFCS School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 09:12:38 Computer science Automata theory Formal methods Model checking Simply typed lambda calculus Model theory Finite-state machine Mathematical logic Lambda calculus Models of computation Theoretical computer science Theory of computation
553	State Machine Specification Directly in Java and C++ Alexander Sakharov Add to Reading List Source URL: sakharov.net Language: English - Date: 2008-05-18 20:05:49 Computer programming Automata theory Digital electronics Finite-state machine UML diagrams Counter Java C Sharp State diagram Computing Software engineering Models of computation
554	Time and Synchronization in Executable UML Leon Starr Add to Reading List Source URL: modelint.com Language: English - Date: 2008-12-28 11:46:41 Data modeling Design Diagrams Executable UML UML diagrams Automata theory State diagram Model-driven architecture Finite-state machine Unified Modeling Language Models of computation Software engineering
555	Goal setting mechanism in Petri net models of human decision making M. Rauterberg, M. Fjeld, and S. Schluep Add to Reading List Source URL: www.fjeld.ch Language: English - Date: 2006-03-23 12:55:34 Diagrams Petri net Behavior Mind Finite-state machine Actor model Motivation Computer science Goal setting Models of computation Cognition Concurrency
556	Using UML for Modeling Complex Real-Time Systems Bran Selic, ObjecTime Limited Add to Reading List Source URL: www.ibm.com Language: English - Date: 2005-07-06 18:54:35 Models of computation Software engineering Information science Knowledge representation Unified Modeling Language Class diagram Finite-state machine Stereotype D-subminiature UML diagrams Data modeling Diagrams
557	Table of Contents Invited Lectures Add to Reading List Source URL: www.i3s.unice.fr Language: English - Date: 2006-04-19 06:42:19 Tree automaton Finite-state machine Ω-automaton Automata theory Theoretical computer science Computer science
558	Microsoft Word - Patel_Sonal_with_Comments4 Add to Reading List Source URL: sdsu-dspace.calstate.edu Language: English - Date: 2013-10-11 12:56:32 Mathematics Models of computation Category theory Finite-state machine Applied mathematics Regular language Syntactic monoid Monoid Aperiodic finite state automaton Automata theory Formal languages Semigroup theory
559	Using B to verify UML Transformations K. Lano Dept. of Computer Science, King’s College London, Strand, London, WC2R 2LS, UK Add to Reading List Source URL: modeva.itee.uq.edu.au Language: English - Date: 2013-12-08 20:41:13 Software development Diagram Finite-state machine Class diagram ECO Actor Entity-relationship model Stereotype Data model Unified Modeling Language Data modeling Software engineering
560	VOL. LIX. NO. 236.] Add to Reading List Source URL: mind.oxfordjournals.org Language: English - Date: 2005-05-23 11:30:20 Computer science Artificial intelligence Philosophy of artificial intelligence Turing machine Computing Machinery and Intelligence Theoretical computer science Computer Finite-state machine Turing test Alan Turing Models of computation Theory of computation

UPDATE